Computer aided verification - proceedings
- Författare
- Conference on Computer-Aided Verification 1993) Elounda : Costas Courcoubetis
- (5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993 Costas Courcoubetis (ed.)., "Proceedings of the Fifth Conference on Computer-Aided Verification (CAV'93) ...")
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1993 | Tyskland, Berlin, New York | 504 sidor. ill. |